Relating CASL with other specification languages: the institution level

Relating CASL with Other Specification

In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider the languages Larch, OBJ3 and functional CafeOBJ, ACT ONE, ASF, and HEP-theories, as well as various sublanguages of Casl. All these languages are translated to an appropriate sublanguage of Casl. The translation main...

Relating CASL with Other Spe i ationLanguages : the

Translating OBJ 3 into CASL : the Institution

We translate OBJ3 to CASL. At the level of basic speciica-tions, we set up several institution representations between the underlying institutions. They correspond to diierent methodological views of OBJ3. The translations can be the basis for automated tools translating OBJ3 to CASL.

Specification of ontologies in CASL

This paper proposes to use CASL (Common Algebraic Specification Language; designed by CoFI – Common Framework Initiative) for formalising ontologies in FOL. The major advantage of CASL over other specification techniques is its static strong typing and subtyping. Namely, using sorts (types) instead of unary predicates for the ontological categories gives the possibility to find unintended appli...

Casl The Common Algebraic Specification Language

Permission is granted to anyone to make or distribute verbatim copies of this document, in any medium, provided that the copyright notice and permission notice are preserved, and that the distributor grants the recipient permission for further redistribution as permitted by this notice. Modified versions may not be made. Abstract This is the formal semantics of version 1.0.2 of Casl. Although i...